<?php

	session_start();
	if ( !empty( $_SESSION['user'] ) ) {
		unset( $_SESSION['user'] );
		header( "Location: index.php?msg=logout" );
	} else {
		header( "Location: index.php" );
	}

?>